Low-level programming language

#	Item
61	Relaxed memory models must be rigorous ˇ c´ık3 Susmit Sarkar2 Francesco Zappa Nardelli1 Peter Sewell2 Jaroslav Sevˇ Luc Maranget1 Mark Batty2 Jade Alglave1 1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-07-13 08:43:45 X86 architecture Computer memory X86-64 X86 Java Memory Model Memory barrier Spinlock Low-level programming language MOV Computer architecture Computing Instruction set architectures
62	The Semantics of x86-CC Multiprocessor Machine Code Susmit Sarkar1 Scott Owens1 Tom Ridge1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-11-13 18:04:35 Computer memory Assembly languages Low-level programming language MOV X86 Spinlock Memory barrier Memory ordering Parallel computing Computer architecture Computing X86 architecture
63	Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code Sandrine Blazy1 , Vincent Laporte1 , and David Pichardie2 1 Université Rennes 1 – IRISA – Inria Add to Reading List Source URL: people.irisa.fr Language: English - Date: 2014-06-04 05:25:47 Assembly languages Abstract interpretation Subroutine X86 assembly language Data type MIX Computer programming Computing Software engineering